type theory-based method
类型理论为基的方法
热门查询
- swingeing adj. 激烈的；极好的；严厉的 adv. 极；非常
- Stourbridge n. 斯陶尔布里奇 (英国国会选区)
- regrading 二次筛分
- panicky adj. 恐慌的；惊慌失措的
- vole n. 大满贯；野鼠 vi. 赢得大满贯 n. (Vole)人名；(塞)沃莱
- pursuant adj. 依据的；追赶的；随后的 adv. 根据；依照
- parson n. 牧师，教区牧师；神职人员 n. (Parson)人名；(英)帕森；(瑞典)帕尔松
- Fukuyama 福山[日本]
- wintry adj. 寒冷的，冬天的；冷淡的
- perishable n. 容易腐坏的东西 adj. 易腐坏的；易毁灭的；会枯萎的
- leptin 瘦素；瘦蛋白 n. (Leptin)人名；(德)莱普廷
- Helmut [人名] 赫尔穆特
- mischievous adj. 淘气的；（人、行为等）恶作剧的；有害的
- verified adj. 已查清的，已证实的
- kidnapper n. 绑匪；诱拐者
- word processor n. 文字处理机 [网络] 文书处理器；字处理器；文字处理器
- spearhead n. 矛头；先锋；先锋部队 vt. 带头；做先锋
- traduce vt. 中伤；诽谤；背叛
- nirvana n. 涅槃；天堂 n. (Nirvana)人名；(意)尼尔瓦纳
- Freiburg n. 弗莱堡（德国城市名）
